recursion with memoization